defined type test